Formal grammar - PDFSEARCH.IO - Document Search Engine

Formal grammar
Results: 748

#	Item
21	Safe Specification of Operator Precedence Rules Ali Afroozeh1 , Mark van den Brand3 , Adrian Johnstone4 , Elizabeth Scott4 , and Jurgen Vinju1,2 1 3 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2014-09-02 07:23:41 Formal languages Software engineering Grammar Mathematics Parsing Context-free grammar Canonical LR parser Formal grammar Ambiguous grammar LR parser Operator associativity Operator
22	UNCLASSIFIED Grammatical Inference and Machine Learning Approaches to Post-Hoc LangSec Sheridan Curley and & Dr. Richard Harang (ARL) Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-06 10:35:22 Formal languages Philosophy Cognitive science Grammar Linguistics Natural language processing Syntax Compiler construction Grammar induction Chomsky hierarchy Formal grammar Noam Chomsky
23	Second-Order Abstract Categorial Grammars Makoto Kanazawa July 28, Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2010-06-08 00:58:52 Formal languages Grammar Logic Mathematics Regular tree grammar Context-free grammar Formal grammar Terminal and nonterminal symbols Indexed grammar Context-sensitive grammar
24	CS 150 Lecture Slides Motivation • Automata = abstract computing devices • Turing studied Turing Machines (= computers) before there were any real computers • We will also look at simpler devices than Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2015-01-28 19:20:52 Formal languages Combinatorics Mathematics Discrete mathematics Alphabet String Finite-state machine Structure Regular expression Induction of regular languages Indexed grammar
25	Generating a Catalog of Unanticipated Schemas in Class Hierarchies using Formal Concept Analysis Gabriela Ar´evaloa,f,∗ , St´ephane Ducassec , Silvia Gordillob,e , Oscar Nierstraszd a FI - Universidad Austral, Avd Add to Reading List Source URL: rmod.inria.fr Language: English - Date: 2015-11-03 10:16:25** Software engineering Object-oriented programming Computer programming Computing Inheritance Formal concept analysis Class Hierarchy Dependency grammar Method Liskov substitution principle
26	Properties of CFL’s • Simplification of CFG’s. This makes life easier, since we can claim that if a language is CF, then it has a grammar of a special form. • Pumping Lemma for CFL’s. Similar to the regular ca Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2015-01-28 19:53:52 Formal languages Grammar Constructible universe Formal grammar Logic Cognitive science Useless rules Controlled grammar
27	BOOKS ABOUT TABE EXAMPLES OF COMPUTATION IN CONTEXT Cityhalllosangeles.com TABE EXAMPLES OF COMPUT... Add to Reading List Source URL: t.cityhalllosangeles.com Language: English - Date: 2015-03-05 01:57:54 Formal languages Theory of computation Algebra Musical form Context-free grammar Rhyme scheme Computing
28	The Mother of All Tableaux NOW WORKING ON THE MS — 9:00am 6/30 — NM P Nazarré Merchant Alan Prince Silent, upon a peak in Darien Add to Reading List Source URL: roa.rutgers.edu Language: English - Date: 2016-07-12 15:05:00 Linguistics Humanities Archaeology Formal languages Grammar Language comparison Linguistic typology Typology Equivalence Dependency grammar Formal grammar Language
29	Advances in Abstract Categorial Grammars Language Theory and Linguistic Modeling Lecture 3 Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2010-06-08 00:59:21 Software engineering Formal languages Computer programming Declarative programming Datalog CYK algorithm Definite clause grammar Parsing Logic programming Prolog Parse tree Categorial grammar
30	Encoding Intonational Information in a Logical Grammar Chris Worth (Ohio State University) The discrepancy between syntactic structure and intonational structure is well known. This makes it particularly difficult to sim Add to Reading List Source URL: www.ling.ohio-state.edu Language: English - Date: 2011-10-17 16:59:48 Formal languages Logic Syntax Grammar Language Type theory Categorial grammar Formal grammar Linear logic

UPDATE